|
:''This article uses forms of logical notation. For a concise description of the symbols used in this notation, see List of logic symbols.'' In classical logic, the law of non-contradiction (LNC) (or the law of contradiction (PM) or the principle of non-contradiction (PNC), or the principle of contradiction) is the second of the three classic laws of thought. It states that contradictory statements cannot both be true in the same sense at the same time, e.g. the two propositions "''A is B''" and "''A is not B''" are mutually exclusive. The principle was stated as a theorem of propositional logic by Russell and Whitehead in ''Principia Mathematica'' as: :: 〔()〕 The law of non-contradiction, along with its complement, the law of excluded middle (the third of the three classic laws of thought), are correlates of the law of identity (the first of the three laws). Because the law of identity partitions its logical Universe into exactly two parts, it creates a dichotomy wherein the two parts are "mutually exclusive" and "jointly exhaustive". The law of non-contradiction is merely an expression of the mutually exclusive aspect of that dichotomy, and the law of excluded middle, an expression of its jointly exhaustive aspect. == Interpretations == One difficulty in applying the law of non-contradiction is ambiguity in the propositions. For instance, if time is not explicitly specified as part of the propositions A and B, then ''A'' may be ''B'' at one time, and not at another. A and B may in some cases be made to sound mutually exclusive linguistically even though ''A'' may be partly ''B'' and partly not ''B'' at the same time. However, it is impossible to predicate of the same thing, at the same time, and in the same sense, the absence and the presence of the same fixed quality. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Law of noncontradiction」の詳細全文を読む スポンサード リンク
|